@String{MCDERMOTT = "McDermott, Drew V."}
@techreport(McDermott:72,
author =	MCDERMOTT # { and Gerald J. Sussman},
year =	{1972},
month = May,
institution =	{MIT Artificial Intelligence	Laboratory},
title =	{The {\sc CONNIVER} Reference Manual}
)
